Embedded devices are everywhere now and, unlike personal computers, their systems differ in implementation languages and\nbehaviors. Interactions of different devices require programmers to master programming paradigms in all related languages. So, a\ndefect may occur if differences in systems� behaviors are ignored. In this paper, a heterogeneous system which is composed of two\nsubsystems is introduced and we point out a potential defect in this system caused by an interface mismatch. Then, a state based\napproach is applied to verify our analysis of the system.
Loading....